(declare-fun a () (Set Real))
(declare-fun b () (Set Int))
(declare-fun c () (Set Int))
(assert (= (intersection b c) (intersection a (singleton 0))))
(check-sat)
